%ifdef CONFIG
{
  "HostFeatures": ["AVX"],
  "RegData": {
    "XMM0":  ["0x428B029F42A63326", "0x4150F0E342241B6C", "0x409C30014253A13B", "0x4041495242910EC1"],
    "XMM1":  ["0x41AFF21340AB4706", "0x40AA5BEA411AC802", "0x42662BE34176837B", "0x425E2C0D4119C75A"],
    "XMM2":  ["0x428500C641E83AD2", "0x42B6BA02419A760C", "0x41A1B712429B697F", "0x42252CF2411CE3BD"],
    "XMM7":  ["0x4054C664C0000000", "0x40516053E0000000", "0x0000000000000000", "0x0000000000000000"],
    "XMM8":  ["0x401568E0C0000000", "0x4035FE4260000000", "0x0000000000000000", "0x0000000000000000"],
    "XMM9":  ["0x403D075A40000000", "0x4050A018C0000000", "0x0000000000000000", "0x0000000000000000"],
    "XMM10": ["0x40560C5880000000", "0x404295B6C0000000", "0x4048C354A0000000", "0x40248B61C0000000"],
    "XMM11": ["0x40536D2FE0000000", "0x403436E240000000", "0x40239C77A0000000", "0x4044A59E40000000"],
    "XMM12": ["0x402ED06F60000000", "0x404CC57C60000000", "0x402338EB40000000", "0x404BC581A0000000"],
    "XMM13": ["0x404A742760000000", "0x4013860020000000", "0x405221D820000000", "0x4008292A40000000"]
  }
}
%endif

lea rdx, [rel .data]

vmovapd ymm0, [rdx + 32 * 0]
vmovapd ymm1, [rdx + 32 * 1]
vmovapd ymm2, [rdx + 32 * 2]

vcvtps2pd xmm7,  xmm0
vcvtps2pd xmm8,  xmm1
vcvtps2pd xmm9,  xmm2
vcvtps2pd ymm10, [rdx + 32 * 10]
vcvtps2pd ymm11, [rdx + 32 * 11]
vcvtps2pd ymm12, [rdx + 32 * 12]
vcvtps2pd ymm13, [rdx + 32 * 13]

hlt

align 32
.data:
dd 83.0999, 69.50512, 41.02678, 13.05881
dd 52.90745, 4.88086, 72.52882, 3.0201

dd 5.35242, 21.9932, 9.67383, 5.32372
dd 15.4071, 57.54286, 9.61117, 55.54302

dd 29.02872, 66.50151, 19.30764, 91.3633
dd 77.70605, 20.21439, 9.8056, 41.29389

dd 40.45086, 50.96153, 32.64489, 23.97574
dd 88.1929, 37.16964, 49.52602, 10.27223

dd 90.64316, 24.22547, 98.9394, 91.21715
dd 96.27991, 6.64479, 25.58971, 95.00694

dd 90.80143, 99.48407, 64.97245, 74.39838
dd 47.84703, 84.04831, 90.02965, 65.81329

dd 35.22761, 25.35321, 5.8732, 90.19956
dd 33.03133, 52.02952, 58.38554, 10.17531

dd 33.03133, 52.02952, 58.38554, 10.17531
dd 83.0999, 69.50512, 41.02678, 13.05881

dd 47.84703, 84.04831, 90.02965, 65.81329
dd 5.35242, 21.9932, 9.67383, 5.32372

dd 96.27991, 6.64479, 25.58971, 95.00694
dd 29.02872, 66.50151, 19.30764, 91.3633

dd 88.1929, 37.16964, 49.52602, 10.27223
dd 40.45086, 50.96153, 32.64489, 23.97574

dd 77.70605, 20.21439, 9.8056, 41.29389
dd 90.64316, 24.22547, 98.9394, 91.21715

dd 15.4071, 57.54286, 9.61117, 55.54302
dd 90.80143, 99.48407, 64.97245, 74.39838

dd 52.90745, 4.88086, 72.52882, 3.0201
dd 35.22761, 25.35321, 5.8732, 90.19956
